Mobile termination and collusion, revisited
نویسندگان
چکیده
منابع مشابه
Hierarchical termination revisited
During the past two decades, term rewriting has gained enormous importance in various fields of computer science. Among other things, term rewriting constitutes a Turing-complete computational model which is closely related to functional programming. In other words, term rewriting systems (TRSs) can be viewed as programs. It is a well-known programming paradigm in computer science that programs...
متن کاملTermination of narrowing revisited
This paper describes several classes of term rewriting systems (TRS’s) where narrowing has a finite search space and is still (strongly) complete as a mechanism for solving reachability goals. These classes do not assume confluence of the TRS. We also ascertain purely syntactic criteria that suffice to ensure the termination of narrowing and include several subclasses of popular TRS’s such as r...
متن کاملSimple Termination Revisited
In this paper we investigate the concept of simple termination. A term rewriting system is called simply terminating if its termination can be proved by means of a simpliication order. The basic ingredient of a simpliication order is the subterm property, but in the literature two diierent deenitions are given: one based on (strict) partial orders and another one based on preorders (or quasi-or...
متن کاملMobile Processes and Termination
This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensure termination of the process computations. Two approaches are exposed. The rst one draws on the method of logical relations, which has been extensively used in the analysis of sequential languages. The second approach exploits ...
متن کاملMobile Termination
Regulators in Australia, Japan, United Kingdom and many countries in Europe have regulated mobile termination rates reflecting concerns about the high level of these charges and the resulting high fixed-to-mobile retail prices. In Latin American countries, despite success in expanding mobile telephony, the relatively high charges imposed by mobile phone operators on fixed line networks to accep...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Regulatory Economics
سال: 2009
ISSN: 0922-680X,1573-0468
DOI: 10.1007/s11149-009-9087-2